#!/bin/csh
#
# use current working directory for input and output - defaults is 
# to use the users home directory
#$ -cwd
#
# name this job
#$ -N elevators3floors2elevators 
#
# send stdout and stderror to this file
#$ -o elevators3floors2elevators.out
#$ -j y
#
# select queue - if needed 
#$ -q me,cos,nerhp,amd64-low
#$ -hard
#$ -l mem_free=8G
#$ -m e
#$ -M nadamuna@eecs.oregonstate.edu


#see where the job is being run
#hostname

# print date and time
#date
#uname -a
#cat /proc/meminfo

if [ $# != 3 ]
then
echo "Usage spi.sh <rddl domain file> <rddl instance file> <epsilon> "
exit
fi

	
pkill -f "rddl.competition.Server"
sh runserver.sh 100 > /tmp/temprer&
sleep 10s

java -Xms4g -Xmx4g -classpath bin/:lib/grappa1_4.jar:lib/java_cup.jar:lib/jlex.jar:lib/xercesImpl.jar:lib/xml-apis.jar:lib/hsqldb.jar mdp.solve.ValueIterationConcurrent $1 $2 $3 

